跳到主要内容

Markov 链 Monte Carlo

阐述

给定 μ\mu 是一个有限状态 X\mathcal X 上的分布,我们可以找到一个不可约的、非周期的 Markov 链 PP 使得它的稳态分布是 μ\mu,则我们可以运行一段时间,等它接近 μ\mu 之后开始采样。

Metropolis-Hasting Markov 链

给定 PP 是一个 Markov 链μ(x)>0\mu(x)>0 是一个 X\mathcal X 上的分布,则构造相应的 Markov 链

P^(x,y)=P(x,y)min(1,μ(y)P(y,x)μ(x)P(x,y))\hat P(x,y)=P(x,y)\min\left(1,\frac{\mu(y)P(y,x)}{\mu(x)P(x,y)}\right)

P^(x,x)\hat P(x,x) 的定义使得每行之和为 1。这样定义的 P^\hat Pμ\mu 是可逆的,因此 μ\mu 是此 Markov 链的一个稳态分布。

此外,如果 PP 是不可约的,且 P(x,y)>0P^(y,x)>0P(x,y)>0\Leftrightarrow\hat P(y,x)>0,这说明 P^\hat P 也是不可约的。非周期性可以通过以一定概率暂停 PP 来实现。

Gibbs 采样

X=Sn\mathcal X=S^nSS 是某个集合,n>0n>0μ\mu 是一个 X\mathcal X 上的分布。则从 (x1,,xn)(x_1,\cdots,x_n) 出发,选定一个指标 xix_i 进行如下随机移动:

P(X=x)=μ(x1,,x,,xn)yμ(x1,,y,,xn)\mathbb P(X=x)=\frac{\mu(x_1,\cdots,x,\cdots,x_n)}{\sum_y\mu(x_1,\cdots,y,\cdots,x_n)}

这个 Markov 链显然对 μ\mu 也是可约的。

实例

Ising 模型 的 Gibbs 采样

  1. 随机选择一个 vVv\in V
  2. σ(v)\sigma(v) 设置成一个 ±1\pm 1 的 Bernoulli 随机变量,其中为 1 的概率为
exp(βwσ(w))exp(βwσ(w))+exp(βwσ(w))\frac{\exp\left(\beta\sum_w\sigma(w)\right)}{\exp(-\beta\sum_w\sigma(w))+\exp(\beta\sum_w\sigma(w))}

其中对 ww 的求和可以仅对与 vv 相连的节点完成。

性质

相关内容

参考文献